# Makefile for building the tock kernel for a LiteX SoC targeting a
# Digilent Arty-A7 FPGA development board

TARGET=riscv32imc-unknown-none-elf
PLATFORM=litex_arty

include ../../Makefile.common

